Philosophical logic

Results: 2980



#Item
581Model theory / Philosophical logic / Automated theorem proving / Method of analytic tableaux / Abox / Structure / Boolean satisfiability problem / PSPACE-complete / Modal logic / Theoretical computer science / Mathematical logic / Mathematics

Journal of Automated Reasoning manuscript No. (will be inserted by the editor) PSpace Tableau Algorithms for Acyclic Modalized ALC Jia Tao · Giora Slutzki · Vasant Honavar

Add to Reading List

Source URL: www.cs.iastate.edu

Language: English - Date: 2011-06-14 00:05:06
582Philosophical logic / Logic in computer science / Game semantics / Game theory / Quantification / Temporal logic / First-order logic / Logic / Mathematical logic / Mathematics

The Ackermann Award 2013 Anuj Dawar, Thomas A. Henzinger, and Damian Niwiński Members of EACSL Jury of the Ackermann Award The ninth Ackermann Award is presented at CSL’13, held in Turin, Italy. This year, as in the p

Add to Reading List

Source URL: drops.dagstuhl.de

Language: English - Date: 2013-08-27 05:13:12
583Parameter / Prior probability / Estimation theory / Probability and statistics / Mathematics / Philosophical logic / Bayesian statistics / Signal processing / Environmental science

Geosci. Model Dev., 4, 1011–1018, 2011 www.geosci-model-dev.netdoi:gmd © Author(sCC Attribution 3.0 License. Geoscientific

Add to Reading List

Source URL: www.geosci-model-dev.net

Language: English - Date: 2014-12-04 04:02:40
584Mathematics / Philosophical logic / Kripke semantics / Model theory / Sheaf theory / Model checking / Temporal logic / Agent-based model / Economic model / Logic / Mathematical logic / Modal logic

Social Laws for Multi-Agent Systems: Logic and Games*.5cm Lecture 1: Specifying and verifying state-transition models

Add to Reading List

Source URL: www.nii.ac.jp

Language: English - Date: 2012-02-02 20:36:54
585Entailment / Logical syntax / Metalogic / Philosophical logic / Propositional calculus / Function / Constraint logic programming / Logic / Mathematics / Deduction

Selecting and Composing Web Services through Iterative Reformulation of Functional Specifications Jyotishman Pathak1,2 Samik Basu1 Robyn Lutz1,3 Vasant Honavar1,2 1 Department of Computer Science, Iowa State University,

Add to Reading List

Source URL: www.cs.iastate.edu

Language: English - Date: 2006-11-14 22:17:08
586Stupid.com / Ontology / Philosophical logic / State of affairs

Microsoft Word - apsanewspaperdb.docx

Add to Reading List

Source URL: citesource.trincoll.edu

Language: English - Date: 2010-01-11 13:50:18
587Philosophical logic / Ethnic group / Gender role / Logic / Sociology / Social psychology / Behavior / Identity

HUMA  2280  –  Identity  Goes  Global:  From  Border  Crossing  to  Boundary  Remaking     Tuesdays  &  Thursdays  3:00-­‐4:20pm  (LT-­‐D)   Professor:  M

Add to Reading List

Source URL: huma.ust.hk

Language: English - Date: 2015-02-03 21:16:19
588Ontology / Philosophy of language / Philosophical logic / Theories of truth / Existence / Philosophy of life / Proposition / Truth / Argument / Philosophy / Logic / Metaphysics

Reply to Professor Anderson1 Gerard Casey School of Philosophy University College Dublin www.ucd.ie/philosophy/staff/casey_gerard.htm

Add to Reading List

Source URL: www.ucd.ie

Language: English - Date: 2014-06-09 05:00:08
589Modal logic / Philosophical logic / Artificial intelligence / Predicate logic / Epistemic modal logic / Temporal logic / Quantification / Logic / Mathematical logic / Science

Coalition Logic Quantified Coalition Logic Norm Compliance CTL

Add to Reading List

Source URL: www.nii.ac.jp

Language: English - Date: 2012-02-02 20:36:55
590National Strategy for Trusted Identities in Cyberspace / Abstraction / Federated identity / Philosophical logic / Identity management / Identity Commons / Digital identity / Ecosystem / Identity / Computer security / Computer network security

Response by Kaliya Hamlin, Identity Woman User-Advocate / Independent Expert / Identity Community Leader To [Docket No02] Notice of Inquiry Models for a Governance Structure for the National Strategy for

Add to Reading List

Source URL: www.identitywoman.net

Language: English - Date: 2007-09-05 22:15:00
UPDATE